---

high-order predicate calculus

英 [haɪ ˈɔːdə(r) ˈpredɪkət ˈkælkjələs] 美 [haɪ ˈɔːrdər ˈpredɪkət ˈkælkjələs]

网络  高阶谓词演算

计算机

---

---